Problèmes de construction en multiplication complexe

Résolution exacte et approchée de problèmes de décision markoviens formulés en logique propositionnelle

RÉSUMÉ. Nous présentons une méthode factorisée de résolution de Processus de Décision Markoviens formulés en logique propositionnelle. Nous montrons que la complexité de la résolution de tels problèmes dépend directement de celles des opérations logiques mises en œuvre telles que le test de satisfaisabilité. Afin de réduire cette complexité, nous proposons une méthode d’approximation des problè...

L'incertitude dans les problèmes de reconnaissance et de recalage - Applications en imagerie médicale et biologie moléculaire

Approche complexe de l'analyse de documents anciens

Résumé. Cet article présente une méthode complexe pour la caractérisation et l’indexation d’images graphiques de documents anciens. A partir d’un bref état de l’art, une méthode pour décrire ces images en tenant compte de leur complexité est proposée. Trois étapes principales de ce traitement sont détaillées dont une méthode novatrice d’analyse, de segmentation et de description des traits. Les...

Aides en ligne à l'utilisation de logiciels grand public : problèmes spécifiques de conception et solutions potentielles

Despite long-standing research efforts, online help systems are unable yet to satisfy the needs of novice users in the general public, in-as-much as these users tend to ignore them. This paper first demonstrates the necessity of online help for getting familiar with the use of new software intuitive though it might be. The main issue addressed is whether online help systems are meant to make up...

Transformation de problèmes de planification optimale

Cost-optimal planning, in which the aim is to minimize the sum of costs of actions, is a challenging problem due to its computational complexity. A linear program derived from a relaxation which ignores the constraints on the ordering of actions can be used to obtain a lower bound on the cost of a solution-plan. We show that the dual of this linear program provides a transformation of the probl...